111 research outputs found

    Die Spinnenfauna der Strandhaferdünen an den deutschen Küsten

    Get PDF

    Das Schlachthaus und die Fleischbeschau in Riga in der Zeit vom 1. August 1897 bis 30. April 1898

    Get PDF
    https://www.ester.ee/record=b3787212*es

    Ein Beitrag zur Histologie des Rückenmarkes : Inaugural-Dissertation

    Get PDF
    http://tartu.ester.ee/record=b2523212~S1*es

    Vorarbeiten für die systematische Entwässerung und Reinigung der Stadt Riga

    Get PDF
    Inhalt: I. Rigas Witterungsverhältnisse nebst einem Anhang: Wasserstand und Eisbedeckung der Düna bei Riga ; II. Chemisch-analytische und mikroskopische Untersuchung des Bodens, des Grundwassers und einiger Brunnen und offenen Gewässer der Stadt Riga ; III. Erläuterungsbericht zu den Messungen zur Bestimmung der Terraingestaltung, der Höhenlage und der Schwankungen des Grundwasserstandes, sowie der Wasserquantitäten und Durchfussgeschwindigkeiten der offenen Gewässer der Stadt Riga ; IV. Angaben über das gegenwärtig in Riga in Gebrauch befindliche Verfahren zur Reinigung und entwässerung der Stadt, nebst einer Beschreibung der im Stadtgebiet vorhandenen Ableitungsanlagen ; V. Beschreibung der gegenwärtig zur Reinigung und Entwässerung der Städte angewendeten Systeme

    The complexity of asynchronous model based testing

    Get PDF
    This is the post-print version of the final paper published in Theoretical Computer Science. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2012 Elsevier B.V.In model based testing (MBT), testing is based on a model MM that typically is expressed using a state-based language such as an input output transition system (IOTS). Most approaches to MBT assume that communications between the system under test (SUT) and its environment are synchronous. However, many systems interact with their environment through asynchronous channels and the presence of such channels changes the nature of testing. In this paper we investigate the situation in which the SUT interacts with its environment through asynchronous channels and the problems of producing test cases to reach a state, execute a transition, or to distinguish two states. In addition, we investigate the Oracle Problem. All four problems are explored for both FIFO and non-FIFO channels. It is known that the Oracle Problem can be solved in polynomial time for FIFO channels but we also show that the three test case generation problems can also be solved in polynomial time in the case where the IOTS is observable but the general test generation problems are EXPTIME-hard. For non-FIFO channels we prove that all of the test case generation problems are EXPTIME-hard and the Oracle Problem in NP-hard, even if we restrict attention to deterministic IOTSs

    Vivienda contemporánea: apuntes para una teoría

    Full text link
    Desde hace más de cien años, las reflexiones sobre la vivienda y sobre la arquitectura institucional y pública vienen desarrollándose de forma independiente en lo que respecta a métodos indagatorios, planteamientos teóricos, análisis críticos o sistemas clasificatorios. Hablar hoy de vivienda requiere términos específicos de carácter racional, objetivo, funcional o económico en respuesta a los que hasta hace poco avalaron los recientes dispendios formales y estructurales. El objetivo de la presente propuesta es localizar y analizar algunas de las palabras que empiezan a describir los actuales problemas de vivienda para construir con ellas los fundamentos teóricos que cabe deducir de los propios proyectos y de las ideas que sus arquitectos explicitan y sus críticos aportan, tratando de reconocer procedimientos de renovación proyectual, iniciativas experimentales y recientes concepciones residenciales. Términos como vivienda base, dispersión doméstica, atomización, flexibilidad, neutralidad, post-espacio público, reversibilidad, vivienda-ciudad o hibridación están consolidando nociones asociadas a nuevas formas de habitar que hacen inservibles muchas fórmulas convencionales. Extraer algunas de estas ideas estudiando ciertos conjuntos residenciales puede contribuir a hacer comprensible el panorama de la arquitectura doméstica actual, aportando una teoría propia, distinta a las tan consistentes de la primera mitad del siglo XX, pero reveladora tanto de continuidades con ellas como de novedades o cambios sustanciales de sus significados originales (este es el caso de la flexibilidad) o de completas desapariciones, como la otrora esencial búsqueda del Existenzminimum, hoy sustituida por las esperanzadoras nociones de espacio-extra o más por menos. Nuestro esfuerzo como equipo de investigación está orientado a contribuir con un glosario y, por tanto, un ideario, que ayude a construir la necesaria teoría de la vivienda del nuevo siglo

    Étude du lien entre l'occurrence de la pensée réflexive et la complexité des structures cognitives

    No full text
    Le développement de la pensée réflexive étant une préoccupation importante dans le domaine de la formation à l'enseignement, la présente recherche avait pour but de vérifier l'existence d'un lien entre la pensée réflexive et la complexité des structures cognitives chez 9 finissantes d'un programme de formation à l'enseignement. La retombée principale envisagée de cette recherche était de fournir un fondement sur lequel pourraient s'appuyer les formateurs dont les démarches entreprises pour développer la pensée réflexive n'ont, jusqu'à présent, donné lieu qu'à des résultats mitigés. Les résultats de la recherche indiquent une absence de corrélation entre les variables étudiées, soit l'occurence de la pensée la pensée et la complexité des structures cognitives. Les résultats obtenus sont discutés à la lumière de limites relatives aux instruments de mesure et à l'analyse des données. De plus, des retombées pour de futures recherches ainsi que pour les formateurs sont mises de l'avant

    Programm zu einem Centralschlachthaus und Viehmarkt in Riga

    Get PDF
    http://tartu.ester.ee/record=b2168923~S1*es

    Étude du lien entre l'occurrence de la pensée réflexive et la complexité des structures cognitives

    No full text
    Le développement de la pensée réflexive étant une préoccupation importante dans le domaine de la formation à l'enseignement, la présente recherche avait pour but de vérifier l'existence d'un lien entre la pensée réflexive et la complexité des structures cognitives chez 9 finissantes d'un programme de formation à l'enseignement. La retombée principale envisagée de cette recherche était de fournir un fondement sur lequel pourraient s'appuyer les formateurs dont les démarches entreprises pour développer la pensée réflexive n'ont, jusqu'à présent, donné lieu qu'à des résultats mitigés. Les résultats de la recherche indiquent une absence de corrélation entre les variables étudiées, soit l'occurence de la pensée la pensée et la complexité des structures cognitives. Les résultats obtenus sont discutés à la lumière de limites relatives aux instruments de mesure et à l'analyse des données. De plus, des retombées pour de futures recherches ainsi que pour les formateurs sont mises de l'avant
    corecore